Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 76, 79, 82, 83 }

B grade: { 10, 77 }

C grade: { 18, 80 }

F grade: { 75, 78, 81, 84 }

2.1.3 Maple

A grade: { 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 24, 26, 28, 29, 30, 31, 35, 36, 40, 41, 45, 46, 50, 51, 54, 55, 56, 59, 60, 61, 64, 65, 66, 70, 71, 72 }

B grade: { 27, 69 }

C grade: { 73, 74, 76, 79, 80, 82 }

F grade: { 1, 3, 8, 10, 16, 18, 23, 25, 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 57, 58, 62, 63, 67, 68, 75, 77, 78, 81, 83, 84 }

2.1.4 Maxima

A grade: { 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 31, 35, 36, 40, 41, 45, 46, 50, 51, 54, 55, 56, 59, 60, 65, 66, 70, 71, 72 }

B grade: { 15 }

C grade: { }

F grade: { 1, 3, 8, 10, 16, 18, 20, 23, 25, 27, 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 57, 58, 61, 62, 63, 64, 67, 68, 69, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84 }

2.1.5 FriCAS

A grade: { 2, 4, 5, 6, 7, 9, 11, 13, 14, 17, 19, 20, 21, 22, 24, 26, 28, 29, 30, 35, 36, 40, 41, 45, 46, 50, 51, 54, 55, 56, 60, 61, 65, 66, 70, 71, 72 }

B grade: { 3, 10, 12, 15, 18, 25, 27, 31, 59, 64, 69, 73, 74, 76, 77, 79, 80, 82, 83 }

C grade: { 1, 8, 16, 23, 75, 78, 81 }

F grade: { 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 57, 58, 62, 63, 67, 68, 84 }

2.1.6 Sympy

A grade: { 2, 4, 6, 7, 9, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 35, 36, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66, 70, 71, 72 }

B grade: { }

C grade: { }

F grade: { 1, 3, 5, 8, 10, 12, 15, 16, 18, 20, 23, 25, 27, 31, 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 54, 57, 58, 59, 62, 63, 64, 67, 68, 69, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84 }

2.1.7 Giac

A grade: { 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 31, 35, 36, 40, 41, 45, 46, 50, 51, 54, 55, 56, 59, 60, 61, 64, 65, 66, 69, 70, 71, 72 }

B grade: { }

C grade: { }

F grade: { 1, 3, 8, 10, 16, 18, 23, 25, 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 57, 58, 62, 63, 67, 68, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84 }

2.1.8 Mupad

A grade: { 2, 4, 6, 7, 9, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 35, 36, 40, 41, 45, 46, 50, 51, 55, 56, 60, 61, 65, 66, 70, 71, 72 }

B grade: { 5, 12, 15, 20, 27, 31, 54, 59, 64, 69, 73, 76, 79 }

C grade: { }

F grade: { 1, 3, 8, 10, 16, 18, 23, 25, 32, 33, 34, 37, 38, 39, 42, 43, 44, 47, 48, 49, 52, 53, 57, 58, 62, 63, 67, 68, 74, 75, 77, 78, 80, 81, 82, 83, 84 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 143 0 0 254 0 0 -1
normalized size 1 1.00 1.14 0.00 0.00 2.03 0.00 0.00 -0.01
time (sec) N/A 0.138 1.412 0.344 0.000 0.424 0.000 0.000 0.000




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.018 3.895 0.331 0.000 0.389 0.000 0.000 0.000




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 134 0 0 182 0 0 -1
normalized size 1 1.00 1.74 0.00 0.00 2.36 0.00 0.00 -0.01
time (sec) N/A 0.077 0.177 0.328 0.000 0.425 0.000 0.000 0.000




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.017 3.333 0.327 0.000 0.418 0.000 0.000 0.000




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 30 22 33 0 28 42
normalized size 1 1.00 1.00 1.15 0.85 1.27 0.00 1.08 1.62
time (sec) N/A 0.024 0.021 0.104 0.311 0.424 0.000 0.117 0.070




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.017 2.677 0.336 0.000 0.418 0.000 0.000 0.000




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.018 3.490 0.344 0.000 0.482 0.000 0.000 0.000




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 217 217 294 0 0 1210 0 0 -1
normalized size 1 1.00 1.35 0.00 0.00 5.58 0.00 0.00 -0.00
time (sec) N/A 0.358 4.801 0.382 0.000 0.495 0.000 0.000 0.000




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.025 8.912 0.368 0.000 0.513 0.000 0.000 0.000




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 119 119 273 0 0 782 0 0 -1
normalized size 1 1.00 2.29 0.00 0.00 6.57 0.00 0.00 -0.01
time (sec) N/A 0.159 3.198 0.438 0.000 0.484 0.000 0.000 0.000




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.025 7.949 0.346 0.000 0.471 0.000 0.000 0.000




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 44 51 46 194 0 55 77
normalized size 1 1.00 1.00 1.16 1.05 4.41 0.00 1.25 1.75
time (sec) N/A 0.055 0.099 0.275 0.327 0.507 0.000 0.123 0.100




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.024 20.681 0.393 0.000 0.726 0.000 0.000 0.000




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.024 9.854 0.396 0.000 0.547 0.000 0.000 0.000




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 77 83 182 1918 0 146 395
normalized size 1 1.00 0.86 0.92 2.02 21.31 0.00 1.62 4.39
time (sec) N/A 0.080 0.146 0.251 0.426 0.415 0.000 0.143 0.099




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 349 349 376 0 0 731 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 2.09 0.00 0.00 -0.00
time (sec) N/A 0.858 1.566 0.342 0.000 0.434 0.000 0.000 0.000




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.028 8.734 0.319 0.000 0.408 0.000 0.000 0.000




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C F F(-2) B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 241 241 843 0 0 536 0 0 -1
normalized size 1 1.00 3.50 0.00 0.00 2.22 0.00 0.00 -0.00
time (sec) N/A 0.508 1.763 0.316 0.000 0.434 0.000 0.000 0.000




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.028 7.811 0.315 0.000 0.379 0.000 0.000 0.000




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 67 95 0 304 0 61 171
normalized size 1 1.00 1.02 1.44 0.00 4.61 0.00 0.92 2.59
time (sec) N/A 0.103 0.124 0.252 0.000 0.447 0.000 0.170 0.185




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.028 5.179 0.307 0.000 0.411 0.000 0.000 0.000




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.017 0.103 0.012 0.000 0.408 0.000 0.000 0.000




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) C F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 994 994 1565 0 0 3918 0 0 -1
normalized size 1 1.00 1.57 0.00 0.00 3.94 0.00 0.00 -0.00
time (sec) N/A 2.115 12.891 0.445 0.000 0.549 0.000 0.000 0.000




















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.029 59.255 0.436 0.000 0.416 0.000 0.000 0.000




















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 555 555 755 0 0 2473 0 0 -1
normalized size 1 1.00 1.36 0.00 0.00 4.46 0.00 0.00 -0.00
time (sec) N/A 1.102 6.308 0.467 0.000 0.471 0.000 0.000 0.000




















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.028 52.972 0.397 0.000 0.407 0.000 0.000 0.000




















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 123 123 220 234 0 1314 0 148 316
normalized size 1 1.00 1.79 1.90 0.00 10.68 0.00 1.20 2.57
time (sec) N/A 0.250 0.460 0.266 0.000 0.463 0.000 0.150 1.756




















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.026 104.695 0.441 0.000 0.411 0.000 0.000 0.000




















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.027 67.397 0.458 0.000 0.423 0.000 0.000 0.000




















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05
time (sec) N/A 0.027 68.243 0.479 0.000 0.420 0.000 0.000 0.000




















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 6 6 6 7 12 28 0 12 12
normalized size 1 1.00 1.00 1.17 2.00 4.67 0.00 2.00 2.00
time (sec) N/A 0.022 0.019 0.273 0.296 0.376 0.000 0.114 1.264




















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 426 426 415 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.403 1.946 0.574 0.000 0.407 0.000 0.000 0.000




















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 311 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.279 1.813 0.546 0.000 0.431 0.000 0.000 0.000




















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 194 194 207 0 0 0 0 0 -1
normalized size 1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.171 1.806 0.541 0.000 0.418 0.000 0.000 0.000




















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.019 6.225 0.703 0.000 0.421 0.000 0.000 0.000




















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.019 7.374 0.641 0.000 0.424 0.000 0.000 0.000




















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 677 677 739 0 0 0 0 0 -1
normalized size 1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.816 8.993 0.613 0.000 0.422 0.000 0.000 0.000




















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 497 497 573 0 0 0 0 0 -1
normalized size 1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.602 8.307 0.610 0.000 0.406 0.000 0.000 0.000




















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 319 319 459 0 0 0 0 0 -1
normalized size 1 1.00 1.44 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.433 8.705 0.603 0.000 0.405 0.000 0.000 0.000




















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 62.225 0.582 0.000 0.417 0.000 0.000 0.000




















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 28.295 0.581 0.000 0.418 0.000 0.000 0.000




















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 961 961 939 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.331 3.250 0.614 0.000 0.459 0.000 0.000 0.000




















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 721 721 744 0 0 0 0 0 -1
normalized size 1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.055 2.180 0.597 0.000 0.427 0.000 0.000 0.000




















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 481 481 508 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.861 21.460 0.587 0.000 0.461 0.000 0.000 0.000




















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.028 5.567 0.581 0.000 0.448 0.000 0.000 0.000




















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 26 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.018 1.290 0.011 0.000 0.485 0.000 0.000 0.000




















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 2851 2851 3033 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 3.782 18.741 0.733 0.000 0.500 0.000 0.000 0.000




















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F(-2) F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 2123 2123 2245 0 0 0 0 0 -1
normalized size 1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.982 17.375 0.662 0.000 0.500 0.000 0.000 0.000




















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1395 1395 1393 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.313 17.006 0.651 0.000 0.500 0.000 0.000 0.000




















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 120.967 0.640 0.000 0.471 0.000 0.000 0.000




















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.026 71.527 0.645 0.000 0.558 0.000 0.000 0.000




















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 254 254 288 0 0 0 0 0 -1
normalized size 1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.221 2.052 0.543 0.000 0.437 0.000 0.000 0.000




















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 140 140 197 0 0 0 0 0 -1
normalized size 1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.119 7.655 0.531 0.000 0.417 0.000 0.000 0.000




















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 30 23 22 33 0 29 43
normalized size 1 1.00 1.15 0.88 0.85 1.27 0.00 1.12 1.65
time (sec) N/A 0.023 0.036 0.126 0.336 0.520 0.000 0.144 1.341




















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 30 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.016 8.916 0.638 0.000 0.549 0.000 0.000 0.000




















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.015 9.550 0.642 0.000 0.524 0.000 0.000 0.000




















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 407 407 487 0 0 0 0 0 -1
normalized size 1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.532 6.340 0.609 0.000 0.500 0.000 0.000 0.000




















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 229 229 309 0 0 0 0 0 -1
normalized size 1 1.00 1.35 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.321 5.902 0.611 0.000 0.415 0.000 0.000 0.000




















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 47 47 48 51 48 194 0 55 77
normalized size 1 1.00 1.02 1.09 1.02 4.13 0.00 1.17 1.64
time (sec) N/A 0.057 0.117 0.411 0.304 0.445 0.000 0.155 1.316




















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 27.875 0.580 0.000 0.416 0.000 0.000 0.000




















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A F(-1) A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.025 27.877 0.575 0.000 0.407 0.000 0.000 0.000




















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 601 601 626 0 0 0 0 0 -1
normalized size 1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.969 2.373 0.592 0.000 0.407 0.000 0.000 0.000




















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 361 361 390 0 0 0 0 0 -1
normalized size 1 1.00 1.08 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.776 8.027 0.589 0.000 0.407 0.000 0.000 0.000




















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 69 95 0 254 0 61 155
normalized size 1 1.00 1.01 1.40 0.00 3.74 0.00 0.90 2.28
time (sec) N/A 0.092 0.130 0.382 0.000 0.434 0.000 0.140 1.781




















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.028 8.830 0.581 0.000 0.404 0.000 0.000 0.000




















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.027 9.032 0.579 0.000 0.438 0.000 0.000 0.000




















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1755 1755 1769 0 0 0 0 0 -1
normalized size 1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.667 15.434 0.663 0.000 0.429 0.000 0.000 0.000




















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F(-2) F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 1027 1027 986 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 1.898 13.448 0.656 0.000 0.424 0.000 0.000 0.000




















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 127 127 232 236 0 1387 0 148 344
normalized size 1 1.00 1.83 1.86 0.00 10.92 0.00 1.17 2.71
time (sec) N/A 0.200 0.517 0.418 0.000 0.480 0.000 0.155 1.851




















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.026 66.927 0.644 0.000 0.421 0.000 0.000 0.000




















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04
time (sec) N/A 0.027 67.060 0.639 0.000 0.427 0.000 0.000 0.000




















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade N/A A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD TBD
size 32 0 0 0 0 0 0 0 -1
normalized size 1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03
time (sec) N/A 0.055 18.336 0.704 0.000 0.445 0.000 0.000 0.000




















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A C F B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 44 44 41 155 0 122 0 0 110
normalized size 1 1.00 0.93 3.52 0.00 2.77 0.00 0.00 2.50
time (sec) N/A 0.056 0.062 0.730 0.000 0.405 0.000 0.000 1.404




















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A C F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 260 368 0 658 0 0 -1
normalized size 1 1.00 1.93 2.73 0.00 4.87 0.00 0.00 -0.01
time (sec) N/A 0.113 0.182 0.813 0.000 0.453 0.000 0.000 0.000




















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F C F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 217 217 0 0 0 1072 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 4.94 0.00 0.00 -0.00
time (sec) N/A 0.183 10.530 1.158 0.000 0.486 0.000 0.000 0.000




















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A C F B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 79 79 57 271 0 646 0 0 158
normalized size 1 1.00 0.72 3.43 0.00 8.18 0.00 0.00 2.00
time (sec) N/A 0.102 0.205 0.661 0.000 0.420 0.000 0.000 1.419




















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B F F B F F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 208 208 501 0 0 2964 0 0 -1
normalized size 1 1.00 2.41 0.00 0.00 14.25 0.00 0.00 -0.00
time (sec) N/A 0.208 2.877 0.576 0.000 0.535 0.000 0.000 0.000




















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F C F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 363 363 0 0 0 5493 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 15.13 0.00 0.00 -0.00
time (sec) N/A 0.404 70.762 0.554 0.000 0.607 0.000 0.000 0.000




















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A C F B F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 87 87 80 317 0 511 0 0 409
normalized size 1 1.00 0.92 3.64 0.00 5.87 0.00 0.00 4.70
time (sec) N/A 0.146 0.152 0.562 0.000 0.435 0.000 0.000 2.101




















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A C C F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 307 307 859 587 0 1286 0 0 -1
normalized size 1 1.00 2.80 1.91 0.00 4.19 0.00 0.00 -0.00
time (sec) N/A 0.564 2.100 0.662 0.000 0.418 0.000 0.000 0.000




















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F C F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 452 452 0 0 0 2005 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 4.44 0.00 0.00 -0.00
time (sec) N/A 0.863 7.220 1.074 0.000 0.445 0.000 0.000 0.000




















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A C F B F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 157 157 233 491 0 3547 0 0 -1
normalized size 1 1.00 1.48 3.13 0.00 22.59 0.00 0.00 -0.01
time (sec) N/A 0.298 0.598 0.670 0.000 0.500 0.000 0.000 0.000




















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A F F B F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 717 717 542 0 0 9020 0 0 -1
normalized size 1 1.00 0.76 0.00 0.00 12.58 0.00 0.00 -0.00
time (sec) N/A 1.220 30.818 1.104 0.000 0.559 0.000 0.000 0.000




















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A F F F F(-1) F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 1284 1284 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 2.258 117.911 1.375 0.000 0.000 0.000 0.000 0.000










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [23] had the largest ratio of [.6667]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 10 6 1.00 16 0.375







2 A 0 0 0.00 0 0.000







3 A 8 5 1.00 16 0.312







4 A 0 0 0.00 0 0.000







5 A 4 3 1.00 14 0.214







6 A 0 0 0.00 0 0.000







7 A 0 0 0.00 0 0.000







8 A 15 11 1.00 18 0.611







9 A 0 0 0.00 0 0.000







10 A 10 7 1.00 18 0.389







11 A 0 0 0.00 0 0.000







12 A 5 5 1.00 16 0.312







13 A 0 0 0.00 0 0.000







14 A 0 0 0.00 0 0.000







15 A 5 3 1.00 12 0.250







16 A 13 8 1.00 18 0.444







17 A 0 0 0.00 0 0.000







18 A 11 7 1.00 18 0.389







19 A 0 0 0.00 0 0.000







20 A 4 4 1.00 16 0.250







21 A 0 0 0.00 0 0.000







22 A 0 0 0.00 0 0.000







23 A 31 12 1.00 18 0.667







24 A 0 0 0.00 0 0.000







25 A 22 10 1.00 18 0.556







26 A 0 0 0.00 0 0.000







27 A 6 6 1.00 16 0.375







28 A 0 0 0.00 0 0.000







29 A 0 0 0.00 0 0.000







30 A 0 0 0.00 0 0.000







31 A 3 3 1.00 10 0.300







32 A 20 7 1.00 18 0.389







33 A 16 7 1.00 18 0.389







34 A 12 7 1.00 16 0.438







35 A 0 0 0.00 0 0.000







36 A 0 0 0.00 0 0.000







37 A 30 10 1.00 20 0.500







38 A 24 10 1.00 20 0.500







39 A 18 10 1.00 18 0.556







40 A 0 0 0.00 0 0.000







41 A 0 0 0.00 0 0.000







42 A 23 9 1.00 20 0.450







43 A 19 9 1.00 20 0.450







44 A 15 9 1.00 18 0.500







45 A 0 0 0.00 0 0.000







46 A 0 0 0.00 0 0.000







47 A 61 11 1.00 20 0.550







48 A 49 11 1.00 20 0.550







49 A 37 11 1.00 18 0.611







50 A 0 0 0.00 0 0.000







51 A 0 0 0.00 0 0.000







52 A 14 7 1.00 20 0.350







53 A 10 6 1.00 20 0.300







54 A 4 3 1.00 20 0.150







55 A 0 0 0.00 0 0.000







56 A 0 0 0.00 0 0.000







57 A 21 10 1.00 22 0.454







58 A 15 11 1.00 22 0.500







59 A 5 5 1.00 22 0.227







60 A 0 0 0.00 0 0.000







61 A 0 0 0.00 0 0.000







62 A 17 9 1.00 22 0.409







63 A 13 8 1.00 22 0.364







64 A 4 4 1.00 22 0.182







65 A 0 0 0.00 0 0.000







66 A 0 0 0.00 0 0.000







67 A 43 11 1.00 22 0.500







68 A 31 12 1.00 22 0.546







69 A 6 6 1.00 22 0.273







70 A 0 0 0.00 0 0.000







71 A 0 0 0.00 0 0.000







72 A 0 0 0.00 0 0.000







73 A 5 4 1.00 20 0.200







74 A 9 6 1.00 22 0.273







75 A 11 7 1.00 22 0.318







76 A 6 6 1.00 22 0.273







77 A 11 8 1.00 24 0.333







78 A 16 12 1.00 24 0.500







79 A 5 5 1.00 22 0.227







80 A 12 8 1.00 24 0.333







81 A 14 9 1.00 24 0.375







82 A 7 7 1.00 22 0.318







83 A 23 11 1.00 24 0.458







84 A 32 13 1.00 24 0.542